Видео с ютуба Runtime Verification

Efficient Runtime Verification for the Linux Kernel

Дмитрий Трайтель: Сертифицированный специалист по мониторингу во время выполнения.

Getting your security under Kontrol 🛠 Palina Tolmach, Runtime Verification

AI Execution Control — Runtime Verification Before AI Execution | CREAIM

An Intro to Runtime Verification and Monitorability (Adrian Francalenza, Univ. of Malta, Malta)

Runtime Verification Based on Register Automata --- TACAS 2013

Lectures on Runtime Verification

Runtime Verification - Hello Smart Audit 2021

Foundations on runtime verification (Martin Leucker, University of Luebeck, Germany)

A Framework for Runtime Verification of Concurrent Programs

Runtime Verification, where to go from here - ROSTEDT, Steven

Runtime Verification for AI Agents in 2026: Policies, Sandboxes, and Safe Execution

Introducing Komet: Formal Verification and Fuzzing for Soroban

Trace-Based Verification for Java Changes with BitDive

[ICFP'23] Trustworthy Runtime Verification via Bisimulation (Experience Report)

Runtime verification monitors for real-time - Nam Cao (Linutronix)

Proofcast by rv 108 - From NASA to Universal Settlement – Pi Squared & the Future of Blockchain UX

Arepas, Cumbia & Security: Testing to Verification. Everett Hildenbrandt - Runtime Verification